Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
901	A Catalog of Patterns for Concept Lattice Interpretation in Software Reengineering Muhammad U.Bhatti∗ , Nicolas Anquetil∗ , Marianne Huchard† , and St´ephane Ducasse∗ ∗ RMoD Project-Team INRIA - Lille Nord Eu Add to Reading List Source URL: rmod.lille.inria.fr Language: English - Date: 2012-06-01 10:48:09 Algebra Algebraic structures Data mining Formal concept analysis Machine learning Ontology Complete lattice Lattice Lattice Miner Abstract algebra Lattice theory Mathematics
902	Lessons Learned in Applying Formal Concept Analysis to Reverse Engineering ∗ Gabriela Ar´evalo, St´ephane Ducasse and Oscar Nierstrasz Software Composition Group University of Bern, Switzerland www.iam.unibe.ch/∼sc Add to Reading List Source URL: rmod.lille.inria.fr Language: English - Date: 2010-11-06 07:42:03 Lattice theory Data mining Object-oriented programming Formal concept analysis Machine learning Ontology Object-oriented design Concept Cognition Software engineering Mind
903	Discovering Unanticipated Dependency Schemas in Class Hierarchies ∗ Gabriela Ar´evalo, St´ephane Ducasse, Oscar Nierstrasz Software Composition Group, University of Bern www.iam.unibe.ch/∼scg Abstract Object-orient Add to Reading List Source URL: rmod.lille.inria.fr Language: English - Date: 2010-11-06 10:42:06 Computer programming Inheritance Class Schema Method overriding Object Formal concept analysis Design Patterns Abstraction Software engineering Object-oriented programming Computing
904	NEC Europe Ltd. is a subsidiary of NEC Corporation, a world leader in the computer and communications market with a large base of R&D Laboratories in Japan, China, USA, and Europe. NEC Laboratories Europe has an opening Add to Reading List Source URL: www.neclab.eu Language: English - Date: 2015-02-02 07:28:58 Formal sciences Business intelligence Learning Mitsui NEC Analytics Big data Data analysis Apache Hadoop Technology Science Computing
905	Carrot Lab Assignment: For this lab, which you will complete at home, you will write your first formal lab report. The lab will contain a purpose, procedures, hypothesis, data, analysis, and a conclusion. Use your lab Add to Reading List Source URL: www.murrieta.k12.ca.us Language: English - Date: 2011-05-12 11:03:48 Experiment Carrot Science Knowledge Learning Research Evaluation methods Design of experiments
906	20 – 22 April 2015 There is a central global inequality which hampers progress towards development. At the moment, we know the least about the people who have the least. But these are the people who need the world’s Add to Reading List Source URL: www.developmentprogress.org Language: English - Date: 2015-02-06 07:02:18 Formal sciences Data analysis Information technology governance Emerging technologies Visualization Big data Data visualization Cartagena Colombia Technology Science Data management
907	Microsoft Word - 129_DOC.doc Add to Reading List Source URL: www.agile-online.org Language: English - Date: 2010-04-07 16:20:04 Cartography Formal sciences Science Earth sciences Imaging Segmentation Image analysis Geographic information system Remote sensing Computer vision Image processing Statistics
908	Data Scientist Job ID #747 In this role, whether you’re working directly with customers on their projects, figuring out how to improve Dato’s business with data, educating our u Add to Reading List Source URL: dato.com Language: English - Date: 2015-02-15 00:57:45 Knowledge Data analysis Formal sciences Learning GraphLab Machine learning Text analytics Recommender system Analytics Statistics Science Business intelligence
909	Using Concept Analysis to Detect Co-Change Patterns In Proceedings of International Workshop on Principles of Software Evolution (IWPSE[removed]Tudor Gîrba Stéphane Ducasse Adrian Kuhn Add to Reading List Source URL: scg.unibe.ch Language: English - Date: 2007-07-02 09:58:45 Theoretical computer science Object-oriented programming Objective-C Formal concept analysis Algorithm Class Software engineering Computer programming Computing
910	Applications Developer Job ID #748 In this role, whether you’re working directly with customers on their projects, figuring out how to improve Dato’s business with data, educating Add to Reading List Source URL: dato.com Language: English - Date: 2015-02-15 00:57:45 Business intelligence Data analysis Formal sciences Learning GraphLab Machine learning Text analytics Recommender system Analytics Statistics Science Computing

UPDATE